CYCLE-TESTS-GENERATED, TIME ELAPSED (sec): 0
STAR-TESTS-GENERATED, TIME ELAPSED (sec): 0
FULL-TESTS-GENERATED, TIME ELAPSED (sec): 492
RANDOM-TESTS-GENERATED, TIME ELAPSED (sec): 239
ALL-TESTS-GENERATED, TIME ELAPSED (sec): 731